Mughrabi and eight other militants were also killed in the course of the operation.
Mughrabi dan delapan militan lainnya juga tewas sepanjang operasi tersebut.