a mine; a mine shaft