De acuerdo con las autoridades, nueve trabajadores quedaron atrapados tras el derrumbe de la mina.