star drill

(noun) bore bit (generic term)

borer (generic term)
rock drill (generic term)
stone drill (generic term)