Where is the government going to buy computing resources from if not some sort of large American company? I feel like people would complain no matter the vendo

Where is the government going to buy computing resources from if not some sort of large American company? I feel like people would complain no matter the vendor. If they bought a bunch of Intel servers it would be "wow, wasting taxpayer dollars on an antique 14nm process". If they went AMD, it would be "wow, might as well just shut down the IRS and let TSMC collect taxes directly." At the end of the day, the federal government needs servers so people can download 1040 forms or whatever. I don't think it's that bad to pick Amazon, Microsoft, or Google for that. Going deeper, no matter which cloud provider hosts their servers, it's up to the people to elect representatives that put forth the public policy programs they desire. I am sure AWS is just as happy to host some computer program that frees people that have been wrongly convicted of crimes as it is to host a computer program that uses machine learning to round up undesirables.