South Korea’s exports jumped 93.7% to a record $115.3 billion in October as semiconductor shipments soared 259% to $56.4 billion.