Below is a list of mining companies which mined more than 1 million short tons of coal in the U.S. in 2007. The list includes the headquarters of each company, and the total amount of coal that that company mined in the U.S. in 2007.