Indonesia is the world's biggest coal producer.