韩国芯片制造商将向美国公司供应价值9500亿美元的产品