Johnny Barrios, el minero que fue enfermero de los 33