Praia do Algodio, Ericeira. See original record