He says seven of those killed were police and the rest were civilians .