For mine construction, an engine shaft is a mine shaft used for the purpose of pumping, irrespective of the prime mover.