Ledakan di tambang batu bara Kolombia menewaskan sembilan pekerja dan melukai enam lainnya. Penyebab diduga akumulasi gas berbahaya.