They called it Santa Ana Laguna. Laguna has a number of definitions in Spanish, one of them is lake. This, to me, is too small to qualify as a lake. Perhaps pond would be more accurate.