sinker drill

sinker drill

[′siŋ·kər ‚dril] (mining engineering) A jackhammer type of rock drill used in shaft sinkings. Also known as sinker.