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 (formerly known as Bonfante Gardens) is a garden themed family theme park in Gilroy, California, United States.
Relevant evidence: Yes