Na Coreia do Sul, um arsenal de US$ 19 bilhões para avançar na guerra dos chips