South Korean president Lee holds 30-minute meeting with Trump: S. Korea presidential office