“The South Korean government is reportedly planning to invest $880 billion over multiple years to support its domestic semiconductor industry.”