They did stop, then resumed drilling using some sort of "clean" drilling fluid.

Edit: Article says the sample had kerosene contamination. I guess they started putting the "clean" stuff in but never got all the dirty stuff out.

__________________
Whoever said there's nothing more expensive than a cheap Mercedes never had a cheap Jaguar.

83 300D Turbo with manual conversion, early W126 vented front rotors and H4 headlights 400,xxx miles
08 Suzuki GSX-R600 M4 Slip-on 22,xxx miles
88 Jaguar XJS V12 94,xxx miles. Work in progress.