Washington DC naming in 1791