I think the feds will give it away, in payment of debt.
Like, to China?
How on earth would they enforce their ownership?