What is the current population of the city of washington,
d.
c.?
d.
c.?