Indonesia, the world's largest thermal coal exporter, shipped a 13-month high of 20.37 million tonnes in November, up 1% on the year and 8% from the previous month, Platts reported on February 14.