a deep hole or large tunnel in the ground where workers dig for salt, gold, coal, etc.