rock drill

Noun

 * 1) A powerful drill that can cut through stone.