Fyra grufarbetare dödades och tre säradeS.