The New International Encyclopædia/Mining