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)