Context_1 : Dragon Park is the largest theme park in Southeast Asian located in Ha Long, Quang Ninh, Vietnam. It opened on January 25, 2017. The amusement park, managed by the Spanish firm Parques Reunidos, is part of a large resort complex known as SunWorld HaLong Park that includes an aerial tramway called the Queen Cable Car, Sun Wheel — a large observation wheel, as well as gardens, restaurants, a shopping district and a family entertainment center with arcade games. The Typhoon water park is currently under construction and scheduled to be opened in May, 2017 The park was designed in 2015 by International Theme Park Services, Inc. (Cincinnati, Ohio) in collaboration with Wyatt Design Group and Hetzel Design, both based in California. Context_2 : Disneyland Park, originally Euro Disney, is a theme park found at Disneyland Paris in Marne-la-Vallée, France. The park opened on 12 April 1992 as the first of the two parks built at the resort. Designed and built by Walt Disney Imagineering, its layout and attractions are similar to Disneyland Park in Anaheim, California and Magic Kingdom at Walt Disney World in Bay Lake, Florida. Spanning 56.656 ha (the second largest Disney park based on the original, after Shanghai Disneyland Park), it is dedicated to fairy tales and Disney characters. In 2016, the park hosted approximately 8.4 million visitors, making it the most-visited theme park in Europe, and the 13th-most visited theme park in the world. Context_3 : Disneyland Park, originally Disneyland, is the first of two theme parks built at the Disneyland Resort in Anaheim, California, opened on July 17, 1955. It is the only theme park designed and built under the direct supervision of Walt Disney. It was originally the only attraction on the property; its official name was changed to Disneyland Park to distinguish it from the expanding complex in the 1990s. Context_4 : Paultons Family Theme Park | Home of Peppa Pig World is located in the village of Ower, near Romsey, in Hampshire, England. The theme park has 70 rides and attractions. The Peppa Pig World theme park area is based on the children’s television series character. The Lost Kingdom theme park area includes 27 animatronic dinosaurs. The park name is derived from the former Paultons Estate, on which the park is situated. The park covers 140 acres of land and features a collection of around 80 species of birds and animals, in addition to the rides. Most of the theme park rides are designed for children, which is why the park considers itself a family theme park. Context_5 : Cedar Fair, L.P., doing business as the Cedar Fair Entertainment Company, is a publicly traded partnership headquartered at its Cedar Point amusement park in Sandusky, Ohio. The company owns and operates eleven amusement parks, two outdoor water parks, one indoor water park, and five hotels. Cedar Fair also manages Gilroy Gardens under contract with the city of Gilroy, California. Context_6 : Gilroy Gardens Family Theme Park (formerly known as Bonfante Gardens) is a garden themed family theme park in Gilroy, California, United States. The park has 22 rides and five attractions. It is also home of the Circus Trees, created by Axel Erlandson. The park was designed and built by Michael Bonfante. It originally opened in July 2001. The park and the 536 acres it resides on is now owned by the City of Gilroy. Gilroy Gardens Family Theme Park (a 501(c)(3) corporation) operates the park, which is managed by Cedar Fair. Context_7 : Manor Park is an urban park in the town of Aldershot in Hampshire. A short walk from the town centre, it has been a public park since 1919. The former manor house located in the park is Grade II listed. Facilities include a play area, tennis and basketball courts and an all-concrete skate park designed and built by Fearless Ramps and which opened in 2013. Today Manor Park is owned and maintained by Rushmoor Borough Council. Context_8 : Theme Park Inc. (also known as SimCoaster in the United States and Theme Park Manager in Australia) is a construction and management simulation video game. It is the last game of the Theme Park series that started with "Theme Park" in 1994 and continued with "Theme Park World" in 1999. "Theme Park Inc." was developed by Bullfrog Productions and published by Electronic Arts. It was the last game to bear the Bullfrog logo before the company's merger with EA UK in 2004. Context_9 : Ashgabat Theme Park (Ertekiler Dünýäsi) is a theme park designed by Turkmen architects as a Turkmen version of Disneyland. It opened in Ashgabat, Turkmenistan, in 2006. Context_10 : Griffing Sandusky Airport (IATA: SKY, ICAO: KSKY, FAA LID: SKY) was a public airport in Erie County, Ohio, next to Sandusky Bay three miles southeast of Sandusky. The airport permanently closed on December 31, 2013 and the FAA A/FD and VFR sectional charts no longer show the airport as open or operational. Instrument approach procedures are no longer available from the FAA's website. All hangars and the entrance were demolished in April, 2016. The Sandusky Register confirmed that the city announced that a sports park will replace the airport and now has opened in spring 2017 called the Cedar Point Sports Center. fact_1 : Cedar Fair, L.P., doing business as the Cedar Fair Entertainment Company, is a publicly traded partnership headquartered at its Cedar Point amusement park in Sandusky, Ohio. fact_2 :  The company owns and operates eleven amusement parks, two outdoor water parks, one indoor water park, and five hotels. fact_3 : Gilroy Gardens Family Theme Park (formerly known as Bonfante Gardens) is a garden themed family theme park in Gilroy, California, United States. fact_4 :  The park was designed and built by Michael Bonfante. Answer: Bonfante Gardens
Output: 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?