Ohio: cities: Sandusky, Cedar Point Amusement Park