Hasta entones se la mencionaba simplemente como «la Laguna».