I think China is importing lots of US mined coal, isn’t it?
They are one of the smaller importers of US coal. Very small compared to ours and theirs domestic use.
Sorry, I need to correct that. They have recently become one of the larger importers of US coal. Historically they were small.
http://www.eia.gov/coal/production/quarterly/pdf/t7p01p1.pdf