“Miners produced 320.38 million tonnes of coal in December” — about 50% of US production in a single month! Source: Reuters Web | PDF