Hamas’s Leader Is Dead. What Does That Mean for the War in Gaza?