Domestic coal demand continues to slow. So U.S. miners have shifted their focus to exports… specifically to China.