this is interesting given the federal government can't sell any of its land/buildings in DC anyways because no one will buy it at its current prices