polisagenter dödades under uppfyllandet af sina pligter.