When China battles the world’s biggest coal exporter, coal loses