South Korea’s presidential office: President Lee discussed warship building with U.S. President Donald Trump