(n)downcasta ventilation shaft through which air enters a mine