Well their post isn’t edited so where did they say not Washington State? When people say Washington DC people just say DC because its easier and less confusing unless their is previous context.