City of Cincinnati — municipal government of Cincinnati, Ohio, United States