Cargos e Profissões Contra-mestre da Armada Índice de Nomes #5: António José de Pinho Dias Boaventura Henriques de Carvalho 1849 Eleutério José Nunes 1854 Manuel Augusto Pires