death of three miners