Yet the US is unable to actually build those machines (neither can Korea, Japan or Taiwan - apparently China will soon)

The technology itself is researched and developed in San Diego. ASML in the Netherlands is just the assembler of the final machines. That's not the particularly valuable part of the product pipeline.