Question: In what city was the theme park located that ran along the interstate that runs between Interstate 70 and Interstate 35 in Kansas?

full_context: Document 1: Worlds of Fun: Worlds of Fun is a 235-acre amusement park in Kansas City, Missouri, United States. The park opened in 1973 and is owned and operated by Cedar Fair, which purchased the park from Hunt-Midwest in 1995. Admission to Worlds of Fun includes access to Oceans of Fun, a water park adjacent to the amusement park.
Document 2: Interstate 470 (Kansas): Interstate 470 (I-470) is a 13.72 mi loop highway that bypasses the downtown area of Topeka, Kansas. I-470 begins at an interchange with Interstate 70 in western Topeka and heads generally southeast, running concurrent with U.S. Route 75 (US-75). The concurrency with US-75 ends 5.74 mi later at the Burlingame Road interchange. I-470 becomes part of the Kansas Turnpike at its junction with Interstate 335. From there, the highway heads generally northeast through the southeastern sections of Topeka. After traveling 7.03 mi as the Kansas Turnpike, I-470 reaches its eastern terminus with Interstate 70. The highway has annual average daily traffic values as high as 43,000 west of Gage Boulevard to as low as 10,370 near the eastern terminus with Interstate 70. As an interstate highway, Interstate 470 is a part of the United States National Highway System. The non-turnpike portions of the highway are maintained by the Kansas Department of Transportation, while the turnpike portion is maintained by the Kansas Turnpike Authority.
Document 3: Interstate 57: Interstate 57 (I-57) is an Interstate Highway in Missouri and Illinois that parallels the old Illinois Central rail line for much of its route. It goes from Sikeston, Missouri, at Interstate 55 to Chicago, Illinois, at Interstate 94. I-57 essentially serves as a shortcut route for travelers headed between the south (Memphis, New Orleans, etc.) and Chicago, bypassing St. Louis, Missouri. Between the junction of I-55 and I-57 in Sikeston, Missouri and the junction of I-55 and I-90/94 in Chicago, I-55 travels for 436 mi , while the combination of I-57 and I-94 is only 396 mi long between the same two points. In fact, both the control cities on the overhead signs, as well as destination mileage signs, reference Memphis along southbound I-57, even as far north as its northern origin at I-94 in Chicago. Likewise, at its southern end, Chicago is the control city listed for I-57 on signs on northbound I-55 south of Sikeston, Missouri, even though I-55 also goes to Chicago.
Document 4: Interstate 235 (Oklahoma): Interstate 235 (abbreviated I-235) in Oklahoma is also known as the Centennial Expressway or the I-235 Central Expressway. The spur route of Interstate 35 is a 5.4-mile-long north–south alignment in central and north-central Oklahoma City. It connects northbound to U.S. Highway 77 to suburban Edmond and southbound at Interstate 44 on to Interstate 35 and the I-40 Crosstown Expressway near downtown Oklahoma City. U.S. Highway 77 is concurrent with I-235 for the entire route. South of its junction with I-40, I-235 becomes Interstate 35.
Document 5: Silver Dollar City: Silver Dollar City is a theme park in the US state of Missouri. Opened on May 1, 1960, the park is located between Branson and Branson West off of Missouri Route 76 on the Indian Point peninsula of Table Rock Lake. The park is an 1880s-themed experience that fits Branson's vision as a family-friendly vacation destination with down-home charm. Silver Dollar City's operating season runs from mid-March until late December, with the park closed during the months of January and February. Silver Dollar City is owned by the Herschend Family Entertainment.
Document 6: Interstate 70 in Kansas: In the U.S. state of Kansas, Interstate 70 contains the first segment to start being paved and to be completed in the Interstate Highway System. It extends from the Colorado border near the town of Kanorado to the Missouri border in Kansas City. The route covers 424 mi and passes through several of the state's principal cities in the process including Kansas City, Topeka, and Salina. The route also passes through the cities of Lawrence, Junction City, and Abilene.
Document 7: Escape Theme Park: Escape Theme Park was an outdoor theme park located inside NTUC Downtown East, Pasir Ris in Singapore. It was opened in May 2000 and a water park named Wild Wild Wet located adjacent to it was opened in June 2004. Its slogan is "360 degrees of fun". The theme park operates on Saturdays, Sundays, gazetted school and public holidays. It had been a non-smoking park from 2005 until it ceased operations in November 2011 for redevelopment. In 2012, reports confirmed that the park would make way for an expansion of Wild Wild Wet.
Document 8: Freestyle Music Park: Freestyle Music Park, formerly Hard Rock Park, was a music theme park located in Myrtle Beach, South Carolina that opened on April 15, 2008, then temporarily closed on September 24, 2008, due to financial issues, then reopened on May 23, 2009, under the Freestyle brand, and closed yet again after the 2009 season. It was built on 55 acre on a 140 acre property at the intersection of Highway 501 and the Intracoastal Waterway on a site that includes part of the former Waccamaw Factory Shoppes in Fantasy Harbour, and used Mall 3 as its headquarters.
Document 9: Schlitterbahn Kansas City: Schlitterbahn Waterpark Kansas City is a water park that opened in summer 2009 in Kansas City, Kansas. It was announced in September 2005 by Schlitterbahn Waterparks. The 370 acre , $750 million development will include a nearly 40 acre waterpark, which will be Schlitterbahn's fourth waterpark and its first outside Texas.
Document 10: Wild West World: Wild West World was a Wild West theme park in Park City, Kansas that opened on May 5, 2007 and closed on July 9, 2007. It was located on 130 acre along Interstate 135 near Phil Ruffin's Wichita Greyhound Park, which closed the same year.
Document 11: Interstate 135: Interstate 135 (abbreviated I-135) is a 95.7-mile-long Interstate Highway in central and south-central Kansas, USA. I-135 runs between the cities of Salina and Wichita. The route also runs through the cities of McPherson, Newton, and Park City. The interstate's northern terminus is at the junction of Interstate 70 and its southern terminus is with Interstate 35 (the Kansas Turnpike).
Document 12: J's Amusement Park: J's Amusement Park is an abandoned theme park located in Guerneville, California. The park was founded by Jay Skaggs, and later run by his son, Michael. The park featured a roller coaster, a mad mouse, and several other attractions, including a mini race track. Due to rising costs, the park closed in 2003. The Skaggs family then opened up the back of the property across the creek and among the red woods to run The Camp Outback. This became a popular place for camping complete with large showers, a zip line, hot tub, fire pits and eventually fire spinning. It was a popular party scene and one of the main camp grounds used for large Guerneville events, such as Lazy Bear Weekend. The Skaggs property was still used for special events, including a haunted house event each Halloween called "Dr. Evil's House of Horrors."
Document 13: Wild Waves Theme Park: Wild Waves Theme & Water Park is an amusement park and water park in Federal Way, Washington. Opened in 1977 as The Enchanted Village, the park is a popular summer destination in the Pacific Northwest and it is Washington's only water and amusement park. The park's name was reverted to Wild Waves Water Park and Enchanted Village Amusement Park in April 2016, and once again changed to Wild Waves Theme and Water Park in November 2016, as a result of the park's acquisition by EPR Properties.
Document 14: Interstate 15 in Idaho: Interstate 15 (I-15) is a part of the Interstate Highway System that runs from San Diego, California, to Sweetgrass, Montana. In Idaho, the Interstate Highway runs exactly 196 mi from the Utah state line near Woodruff north to the Montana state line at Monida Pass. I-15 is the primary north–south highway of Eastern Idaho. The Interstate Highway connects Pocatello and Idaho Falls, the fourth and fifth largest cities in Idaho, and the smaller county seats of Malad City, Blackfoot, and Dubois. I-15 connects all of those cities with Salt Lake City to the south and Butte to the north. The Interstate has business loops through McCammon, Inkom, Pocatello, Blackfoot, and Idaho Falls.
Document 15: Interstate 35 in Texas: Interstate 35 (abbreviated I-35 or IH-35) in Texas is a major north–south Interstate Highway running from Laredo near the United States-Mexico border to the Red River north of Gainesville where it crosses into Oklahoma. Along its route, it passes through the cities of San Antonio, Austin, and Waco before it splits into two auxiliary routes just north of Hillsboro. Interstate 35E heads northeast where it passes through Dallas. Interstate 35W turns northwest to run through Fort Worth. The two branches meet up in Denton to again form Interstate 35, where it continues to the Oklahoma border. The exit numbers for Interstate 35E maintain the sequence of exit numbers from the southern segment of Interstate 35, and the northern segment of Interstate 35 follows on from the sequence of exit numbers from Interstate 35E. Interstate 35W maintains its own sequence of exit numbers.
ground_truth: Park City