They probably condemned the whole thing and sold it to Trump for a new galactic casino.
That’s actually a great idea — a space-themed casino, assuming there isn’t one already