Crisis centre reports two attackers have been killed within the last hour.
The two attackers were killed; no one else was injured in the attack.
The police said later that one attacker had been killed.
Under his leadership the two remaining attackers were also killed.
The attackers are quickly killed by his security staff.
The attacker was killed before he could fire again.
The three attackers were killed in the immediate exchange of fire that followed the attack.
The attackers were killed almost to the last man.
The American military said 27 attackers were killed in that fight.
The attackers were killed in battle with Israeli security forces.