I'm not sure what China has to do with anything - China's fabs are stuck at 193nm wavelengths - while TSMC (Taiwan)/Samsung (Korea)/...(whatever other customers ASML has) are at 13.5nm... they're a literal order of magnitude behind and produce no high performance chips of commercial relevance.