What is a hole or excavation in the earth, in mining, from which run branches or galleries called?

well — (Mil.) A hole or excavation in the earth, in mining, from which run branches or galleries. (Webster's 1913.)

Sources