José Tomás Martins Pinto da Rocha.
Nível de descrição
Registo
Código de referência
PT/AHM/G/LM/A-02/37/0015
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
tenente-coronel, 2ª comandante.
Notas de investigação
Descrito por Pedro Firmino.