"Colorado Springs" is the name of a city.