Cargos e Profissões Contra-mestre da Armada Índice de Nomes #9: António José de Pinho Dias Boaventura Henriques de Carvalho 1849 Eleutério João Carlos Craveiro 1880 José Nunes 1854 Manuel Augusto Pires 1868 Manuel Augusto Pires Pedro António 1883 Pedro António 1878