José Tomás Martins Pinto da Rocha.
Nível de descrição
Registo
Código de referência
PT/AHM/G/LM/A-02/27/0619
Apelido
Rocha.
Nome
José Tomás Martins Pinto da Rocha.
Data de nascimento
S.d.
Informações militares
Contém informações sobre a carreia militar.
Profissão/Ocupação
Tenente.
Notas de investigação
Descrito por Pedro Firmino.