La citada laguna hoy se llama Caratasca.