korea trip october