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"): It originally opened in July 2001.
Relevant evidence: No