Israeli military operations following the October 7, 2023 attacks killed Hamas leader Yahya Sinwar