City of Avon Lake, Lorain County, Ohio, United States