Question: What is the former name of the theme park designed and built by Michael Bonfante and managed today by a public company based in Sandusky, Ohio?
Sentence (from "Cedar Fair"): Cedar Fair also manages Gilroy Gardens under contract with the city of Gilroy, California.
Relevant evidence: No