If Trump’s cease-fire holds, the anti-Israel haters will have little to rant about