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"): The park was designed and built by Michael Bonfante.
Relevant evidence: Yes