That absolutely needs to happen.
Hamas = extinct
*
Besides which, the Hamas attack was not just an attack on Israel’s army. It was a series of war crimes, in and of itself. For that, vengeance is due and deterrence must be established.
Especially after what they have just done, there should be no sympathy for Hamas nor their cheerleaders. Not that I had any to begin with.