terrorists, killing three of them, including a police officer.