Colorado Springs is part of Colorado