murieron cuatro mineros.