Definitions Found:

a mining excavation