Esta laguna aparece consignada con el nombre "de Ritoque" especialmente en fuentes antiguas.