punch mine
n.β Β«The museum is a history lesson of Wheatcroftβs rich coal-mining past.…Clark shows a picture of a stooped miner entering a punch mine.Β» ββMining a fatherβs passion” by Garret Mathews in Wheatcroft Louisville Courier & Press (Kentucky) Jan. 28, 2008. (source: Double-Tongued Dictionary)