Yes, so TSMC is buying the machines, and they are based in Taiwan. This is not about the physical location of the machines.
Most of their fabs are also in Taiwan.
alt Hacker News
Most of their fabs are also in Taiwan.