Cincinnati, Ohio was founded in 1788 but renamed in 1790–after the Revolutionary War officers…cult?

In the 19th century the city boomed economically, in large part due to its location among the Ohio River.