Mughrabi and eight other militants were also killed in the course of the operation.
Mughrabi và 8 chiến sĩ khác cũng đã chết trong quá trình hoạt động.