Su nombre oficial es Embalse Ernesto León David.