Portão da Quinta de São Pedro, no Pragal. See original record