What was the District of Columbia 1871 if not a corp?