Industrie Nvidia gaat Zuid-Korea voorzien van 260.000 AI GPU’s in een infrastructuurpush van $10 miljard 4 november 2025