Die Lagu­na Cui­co­cha, ein Kra­ter­see