For three months, President Trump has been deeply engaged in the Iran conflict, planning the 38 days of attack, struggling to reopen the Strait of Hormuz and proclaiming “a whole civilization will die tonight,” then backing away to declare a cease-fire and a naval blockage of Iranian ports. But on Monday, after days of haggling with Iranian officials through intermediaries on a preliminary agreement, Mr. Trump declared it was starting “to get very boring.” “I don’t care if they’re over, honestly,’’ he told Eamon Javers of CNBC when asked about reports that the Iranians, angry at continued Israeli strikes in...