The mastermind of the October 7, 2023 attack that triggered the Gaza war, was killed on...