Interstate 40 (I-40) is a major east-west Interstate Highway running through the south-central portion of the United States generally north of Interstate 10 and Interstate 20 but south of Interstate 70.
 The western end is at Interstate 15 in Barstow, California; its eastern end is at a concurrency of U.S. Route 117 and North Carolina Highway 132 in Wilmington, North Carolina.
 It is the third longest interstate in the United States, behind Interstate 80 and Interstate 90.
 Much of the western part of I-40, from Oklahoma City to Barstow, parallels or overlays the historic U.S. Route 66, east of Oklahoma City the route generally parallels U.S. Route 64 and U.S. Route 70.
 I-40 runs through many major cities including Albuquerque, New Mexico; Amarillo, Texas; Oklahoma City, Oklahoma; Little Rock, Arkansas; Memphis, Tennessee; Nashville, Tennessee; Knoxville, Tennessee; and Raleigh, North Carolina.
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.
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.
Interstate 225 (I-225) is a connector spur route of Interstate 25 in Colorado.
 It is the only auxiliary route of Interstate 25, and one of two auxiliary Interstate highways in the state of Colorado.
 I-225 traverses Aurora and small portions of Denver and Greenwood Village.
 It runs north from Interstate 25 to Interstate 70.
 It intersects with Interstate 70 Business/U.S. Highway 40/U.S. Highway 287, known locally as Colfax Avenue.
 Construction on the freeway began in 1964 and continued progressively through many years until final completion in 1976.
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).
The 18th Street Expressway (often shortened to 18th Street in everyday speech) is a freeway in Kansas City, Kansas that runs from Interstate 35 north to Interstate 70/U.S. Route 24/U.S. Route 40.
 It carries the U.S. Route 69 designation its entire length.
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.
Interstate 29 (I-29) is an Interstate Highway in the Midwestern United States.
 I-29 runs from Kansas City, Missouri, at a junction with Interstate 35 and Interstate 70, to the Canada–US border near Pembina, North Dakota, where it connects with Manitoba Highway 75.
Route 9 is a highway in the Kansas City, Missouri area.
 Its northern terminus is at Interstate 29/U.S. Route 71 in Kansas City North; its southern terminus is at Interstate 35/Interstate 70/U.S. Route 24/U.S. Route 40 in downtown Kansas City.
 Even though both termini are in Kansas City, it passes through other towns and cities.
 It is carried across the Missouri River by the Heart of America Bridge between downtown Kansas City, Missouri and North Kansas City, MO.
 In North Kansas City, the highway serves as a main thoroughfare, Burlington Street.
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.

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