While the city of Washington used to exist as a legal entity within the District of Columbia, these days it's all just the District. Including both D.C. and Washington, D.C. on the map would be including two names for the same thing.