We should all be Cleveland: Ohio city council decides to rename Lake Erie to ‘Gulf of Cleveland’ https://thehill.com/homenews/state-watch/6091305-cleveland-council-renames-lake-erie/