Water Main Break in Downtown El Paso Now Repaired