The two happen to cover the same space, but technically they are different entities and Washington is a city within the District of Columbia just like Baltimore is a city within the state of Maryland. It seems the higher category should be District of Columbia, and under that would be just "Washington." Personally, since they are the same place I don't see why we need two categories.