BOGOTA, May 4 (Xinhua) -- Nine miners were killed and six others injured and rescued after an explosion caused by a gas buildup at a coal mine in Colombia's central Cundinamarca department, the country's mining agency said Monday. ■