Question: Are both Appleton International Airport and Colorado Springs Airport located in Colorado?
Sentence (from "Colorado Springs Airport"): City of Colorado Springs Municipal Airport (IATA: COS, ICAO: KCOS, FAA LID: COS) (also known as Colorado Springs Airport) is a city-owned public civil-military airport 6 mi southeast of Colorado Springs, in El Paso County, Colorado.
Relevant evidence: Yes