“China is the world's largest consumer of coal.”