José Tomás Martins Pinto da Rocha.
Nível de descrição
Registo
Código de referência
PT/AHM/G/LM/A/19/04/0068
Apelido
Rocha.
Nome
José Tomás Martins Pinto da Rocha.
Data de nascimento
S.d.
Informações militares
Contém informações sobre a carreira militar.
Profissão/Ocupação
Capitão.
Notas de investigação
Descrito por António Rocha.