The fate of the leader, Muhammad Deif, who was a target in a bombardment that Gazan officials say killed at least 90 people, has been unclear. The announcement, which Hamas has not commented on, came as Iran held funeral prayers for another Hamas leader, Ismail Haniyeh, whose death in a strike this week has amplified fears of a wider regional war.
Source