This sounds like something a sarcastic comedian might have predicted, but it’s been confirmed and there’s even photographic evidence: there’s something in Washington DC called the “Old State Department Library” because it’s in the Eisenhower Executive Office Building, which long ago used to house the State Department.