El-Chorro, der Staudamm