<page_title> Coal mining in the United States </page_title> <section_title> Production </section_title> <table> <cell> 2008 <col_header> Coal in the US (Million Short Tons) </col_header> <col_header>  </col_header> </cell> <cell> 1,172 <col_header> Coal in the US (Million Short Tons) </col_header> <col_header> Production </col_header> </cell> <cell> 2016 <col_header> Coal in the US (Million Short Tons) </col_header> <col_header>  </col_header> </cell> <cell> 739 <col_header> Coal in the US (Million Short Tons) </col_header> <col_header> Production </col_header> </cell> </table>
In 2016, US coal mining declined from the peak production of 1,172 million tons in 2008.