The old post office building in downtown Washington D.C.