Geraldina Pantoja Pires

Numa pesquisa no Google, na seção Livros, encontrei num Relatório de 1920 (acervo da Universidade da Califórnia), a seguinte citação:
"D. Geraldina Pantoja Pires, filha de Diogo de Aguiar Pantoja, capitão da Brigada Policial, a qual contraiu núpcias com José Romeiro Pires".