Thermal coal prices doubled to around $US200 a tonne