The US government does provide an SBAS called the WAAS, operated by the FAA. It's also had a hand in designing and operating a number of other augmentation systems [1], including CORS, GDGPS, and NDGPS. As an aside, don't you just love how many government acronyms there are?