International

Korea's October exports nearly double on semiconductor surge