Indonesia coal export shake-up rattles miners, traders

The Southeast Asian nation accounts for about half of the global trade in electricity-grade ​coal.