An excavation made in the earth for the purpose of digging out metallic ores, or coal, salt, precious stones, etc. Use specific type where known.
