Google used to use POWER9 chips, but they apparently have stopped.

I suppose the military should buy a significant amount, because they require 100% US-based development and manufacture.

Power chips are made by Samsung according to the article. The fab for that is probably in Korea.