China PMI: China is mining much more coal again and that's boosting its factories – CNN