Premise: SeaWorld Ohio was a park in the SeaWorld chain of marine animal theme parks. The park opened in 1970 directly across the lake and less than one mile from Geauga Lake Park in Aurora, Ohio, United States. The small lake separated the two parks. Wildwater Kingdom, a small waterpark built by Cedar Fair in 2005, occupied the property until it closed in 2016.
Hypothesis: SeaWorld Ohio closed in 2016.