Gracias @manuelgil64, en realidad es en parte una creación de mi imaginación aunque el nombre de los 4 lagos es real y debe existir una leyenda que los refrenda pero no la conozco.