“El Paso County is the most populous of the 64 counties of the state of Colorado of the United States, now more populous than Denver County. The United States Census Bureau concluded that the county population was 622,371 in 2010.[1] In recent years, the population had come closer to that of Denver County, eventually surpassing it in 2010. The county seat is Colorado Springs, the second most populous city in Colorado.”

El Paso County, Colorado - Wikipedia, the free encyclopedia

I had no idea. I would have sworn it was Denver.