History of the Cochiti Dam and Reservoir