INFORMAÇÃO do Conselho Ultramarino sobre os serviços de Antônio Neto Cardoso, de 18 de Abril de 1658 a 1673, como cabo, capitão de Infantaria, capitão de mar-e-guerra e almirante, em Cascais e Pernambuco; requer também os serviços do capitão Miguel Antônio, de 1631 a 1643, lutou contra os holandeses na costa de Pernambuco em navio e pólvora à sua custa, encarregado das obras dos redutos de Paço de Arcos e Oeiras e capitão do Reduto de Paço de Arcos.