den 25 d:s sköto på tre hemliga polisagenter.