U.S. Naval Observatory. Not in the actual observatory, but on the grounds. #1 Observatory Circle.
At this point I would not be surprised if the 25th was invoked, but I'll wait for a legit source.
Whoops....typing quicker than my brain functioned......
I’ve been to the residence several times, many years ago ...