U.S. Worked Hard until Last Minute to Mediate Seoul-Tokyo Trade Dispute: Official, 3 August 2019