U.S., Iran have reached a deal to end fighting, Trump and mediator Pakistan say – The Washington Post