terrorists killed in anti-infiltration operation