Jared Vennett (narration): "In the years that followed, hundreds of bankers and rating agency's executives went to jail. The SEC was completely overhauled, and Congress had no choice but to break up the big banks and regulate the mortgage and derivatives industries."
"Just kidding. Banks took the money the American people gave them, and they used it to pay themselves huge bonuses, and lobby the Congress to kill big reform. And then they blamed immigrants and poor people, and this time even teachers."
When it all goes bankrupt, they can pay off the bonds for x¢ in the dollar and own SpaceX.
Perhaps if the gov could organize a little better, they'd make sure SpaceX owed lots of taxes and put themselves in front of the queue for ownership and screw other creditors (especially foreign).
Edit: looks like the US military doesn't spend that much on SpaceX: https://londoneconomics.co.uk/blog/publication/crouching-riv...