This sounds like funding for traditional cable, fiber, etc. But wouldn't something like StarLink be more practical and cost-effective? afaik, StarLink already does a lot of business with / for the US federal gov, as Starlink seems to have few if any competitors.
How many billions would it take to create a Starlink competitor?
How many billions would it take to create a Starlink competitor?