Oh, btw, and fwiw, when I and people I know refer to Washington, DC we usually say "DC". {pronounced "Dee See"}.
DC stands for the District of Columbia, but I don't know anyone who says "Washington, District of Columbia".
When we are referring to a place called "Washington", we mean the US state.