A pit or excavation in the earth, from which metallic
   ores, precious stones, coal, or other mineral substances are taken by
   digging; -- distinguished from the pits from which stones for
   architectural purposes are taken, and which are called quarries.