It is located just across the border from the U.S. city of El~Paso , Texas .