government of the District of Columbia — government of Washington, D.C., in the United States