police killed miners