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 "Gilroy Gardens"): Gilroy Gardens Family Theme Park (a 501(c)(3) corporation) operates the park, which is managed by Cedar Fair.
Relevant evidence: No