The US government owning 4M BTC ~
That's easier said than done. To purchase 20% of the total bitcoin supply at the current price they'd need $270 billion and sellers who would give up their coins. And all of that is if the price stays the same and not shoot up making the whole purchase cost $270 trillion.
