South Korea’s president and Trump agreed to exert more pressure on North Korea, South Korea’s presidential office said.