Washington, D.C. is the 25th most populous city in the United States.