Castelo de São Gregório, Monte Sereno, em São Pedro de Penaferrim. See original record