Leader of Hamas killed, what now?