Thirty percent of D.C.'s workforce are federal government employees, and the city has more than 50M SF of federal offices.