tons of coal have been mined in the US so far this year.