The lake of Sete-Cidades, St. Michael's, Azores See original record