De estas referencias históricas y topográficas parece proceder el topónimo de este El Paso.