Maybe arc of Columbus history does offer a nickname: Arch City