"Igreja da Sé" See original record