Drill

Drill / drɪl/ a pointed tool used to drill circular holes and spurs in dense or porous rock

 Ex. Miners used advanced drill technology to explore and extract resources from deep within the Earth’s crust.