Anteriormente, este lago se llamaba "Lago Tapycuá".