Cierto que se trata de una laguna artificial creada por la minería pero que quede claro que dicha laguna pertenece a Villamartín del Sil y no a San Pedro Mayo.