. . . . . . . . "Lake of Puerto Rico" .