Bij de mijnexplosie in Colombia zijn negen doden gevallen. Zes mijnwerkers konden worden gered, meldt het nationale mijnagentschap van het land.