I går förolyckades 13 grufarbetare genom explosion ; li dödades,