According to Jin10, Indonesia's statistics bureau said the country exported 13.51 million tons of crude and refined palm oil from January to July, while coal exports totaled 201.47 million tons.