U.S. – Republic of Korea Joint Press Availability, 11 May 2018