The federal government has sold 13 buildings so far, and Elon Musk’s DOGE claims there are another 68 on the market.