Laguna de La Laja. (Instituto Geográfico Militar, 1995)