Obama and coal: Does the mining industry not understand who won the presidential election?