“Let’s call it the Trump deal.”— President Trump, talking to reporters about the deal negotiated to end the war in Iran.