Laguna de la Laja. (Instituto Geográfico Militar, 2010)