Cincinnati (Ohio) flag redesign. : vexillology