Trump meets with South Korean president