The drill would use that hole as a pilot and widen the diameter to about 28 inches, which officials have said is wide enough for the miners to be hoisted through.
The drill would use one of the three bore holes already made as a pilot and widen the diameter to about 28 inches, which officials have said is wide enough for the miners to be hoisted through.