stone drill

(noun) bore bit

borer
rock drill
drill (generic term)