The pandemic has caused office building vacancies to rise in many markets, in some cases to double-digit percentages. As the country's largest renter, the federal government will have some big decisions to make about real estate.