Colombia: Explosión de mina deja 4 muertos y 17 trabajadores atrapados