Israel’s assassination of Hamas leader