President Trump said he was unhappy with the progress of diplomacy with Iran, and indicated he might “have to” use the military. That came in contrast to a statement from the mediator of the talks, ...