Yesterday, President Trump declared that Iran and Israel had reached a cease-fire, bringing an end to what he called “the ...