Question: Derby High School is a school in the city in what Kansas county?

full_context: Document 1: Derby High School, Bury: Derby High School or "The Derby" as it is known locally, is a secondary school, located on Radcliffe Road, Bury, Greater Manchester, England. It opened in September 1959 as the Derby School, a new school that offered both a grammar and a technical education. Some of the pupils moved from Bury High School, on nearby Parliament Street, which closed when the Derby opened. They had gone there having passed the Eleven Plus examination. Other pupils came from Bury Junior Technical School having attended that school from the age of 13 years. The school was formed by merging those two schools into a grammar-technical school. In September 1979 it became a comprehensive school and its sixth form was closed. There are extensive playing fields to the front of the school and the school is easily recognised with its distinctive tower.
Document 2: Wichita South High School: Wichita South High School, known locally as South, is a fully accredited high school, serving students in grades 9-12, located in Wichita, Kansas. It is also known as Wichita High School South. The school colors are blue and red. The schools enrollment was 1,922 during the 2016–2017 school year, making it the 9th largest high school in Kansas.
Document 3: Lawrence, Kansas: Lawrence is the county seat of Douglas County and sixth largest city in Kansas. It is located in the northeastern sector of the state, next to Interstate 70, between the Kansas and Wakarusa Rivers. As of the 2010 census, the city's population was 87,643. Lawrence is a college town and the home to the University of Kansas and Haskell Indian Nations University.
Document 4: Merriam, Kansas: Merriam is a city in Johnson County, Kansas, United States, and part of the Kansas City Metropolitan Area. As of the 2010 census, the city population was 11,003. It is bordered by the cities of Overland Park to the east and south, Shawnee to the west, and Kansas City, Kansas to the north (in Wyandotte County); the city of Lenexa is less than a mile to the southwest. Merriam is included in the Shawnee Mission postal designation.
Document 5: Kansas City, Kansas: Kansas City is the third-largest city in the state of Kansas, the county seat of Wyandotte County, and the third-largest city of the Kansas City metropolitan area. Kansas City, Kansas is abbreviated as "KCK" to differentiate it from Kansas City, Missouri. It is part of a consolidated city-county government known as the "Unified Government". Wyandotte County also includes the independent cities of Bonner Springs and Edwardsville. As of the 2010 census, the city had a population of 145,786 residents. It is situated at Kaw Point, which is the junction of the Missouri and Kansas rivers.
Document 6: Holcomb High School: Holcomb High School is a fully accredited high school, serving students in grades 9-12, located in Holcomb, Kansas, USA. The current principal is Rob Schneeberger. Holcomb High School (HHS) is the only high school located within the city limits of Holcomb, KS. The school colors are black and orange and the enrollment for the 2009-2010 school year is approximately 269 students.
Document 7: Park City, Kansas: Park City is a city in Sedgwick County, Kansas, United States, and a suburb of Wichita. As of the 2010 census, the city population was 7,297.
Document 8: Derby High School (Kansas): Derby High School is a public high school in Derby, Kansas, United States, serving students in grades 9-12. The current principal is Tim Hamblin. The school colors are green and white. It is the only public high school in the USD 260 school district. The total enrollment for the 2015-2016 school year was 2,087 students.
Document 9: Derby High School, Derby: Derby High School is an independent day school for girls aged 3 to 18 and boys up to age 11 in the suburb of Littleover in Derby, it is a member of the Girls' Schools Association.
Document 10: Wyandotte County, Kansas: Wyandotte County ( ; county code WY) is a county located in the U.S. state of Kansas. As of the 2010 census, the population was 157,505, making it the fourth-most populous county in Kansas. Its county seat and most populous city is Kansas City, with which it shares a unified government. Wyandotte County lies immediately west of Kansas City, Missouri.
Document 11: Garden City High School (Kansas): Garden City High School (known locally as GCHS) is a fully accredited high school, serving students in grades 9–12, located in Garden City, Kansas, USA. Garden City High School (GCHS), a part of Garden City Public Schools, is the only high school within the city limits of Garden City, KS. The school colors are brown and white, although gold is generally considered a third unofficial color. Approximately 2,111 students are enrolled for the 2016-2017 school year. The current principal is Steve Nordby.
Document 12: Herndon High School (Kansas): Herndon High School is a former high school located in Herndon, Kansas, USA, which served students in grades 9-12. Herndon High School was the only high school within the city limits of Herndon, Kansas. The school colors were blue and yellow and the school mascot was a Beaver. The average annual enrollment was approximately 200 students from several communities. Herndon High School was established in either 1912 or 1915. A new building was erected in the spring of 1917 because of the growing population of the city. In 1923, Herndon High School became Herndon Rural High School District #2. The school was rebuilt in 1949 and classes were held at St. Mary's High School. Classes resumed at the rebuilt high school in 1950. This remained until the fall of 2003 when the decision was made to consolidate with Atwood USD #318. The new district that was formed is now Unified School District #105 and Rawlins County Junior-Senior High School.
Document 13: Sedgwick County, Kansas: Sedgwick County (county code: SG) is a county located in the U.S. state of Kansas. As of the 2010 census, the population was 498,365, making it the second-most populous county in Kansas. The county seat is Wichita, the most populous city in the state.
Document 14: Derby, Kansas: Derby is a city in Sedgwick County, Kansas, United States and the largest suburb of Wichita. As of the 2010 census, the city population was 22,158.
Document 15: Carver Middle High School: Carver Middle High School is a public school located in Carver, Massachusetts. This school was formerly two different schools, Carver Middle School (6–8) and Carver High School (9–12) in one building with both schools sharing the library and auditorium. The school became under one principal in 2008–09 school year. This school became officially Carver Middle High School the following school year. It is located at 60 South Meadow Rd. and has an enrollment of 489 students in grades 6–8, and 537 students in grades 9–12. The school's mascot is the Crusaders and the school colors are Maroon and Silver/Gray. The principal is Mr. Scott Knief. The assistant principals are Christine Cabral, (6–8), Mark Souza (9–12), and Michael Schultz
ground_truth: Sedgwick