Exportações de semicondutores da Coreia do Sul batem recorde em setembro