El Paso is part of Texas