Washington, D. What caused the size of Washington, D.C. to change