Domestic Encyclopædia (1802)/Pit-coal

