Exportações da Coreia do Sul superam previsões em julho com demanda por chips de IA