Albertina Pantoja Pedrosa

Consegui uma referência que, acredito, confirma que Diogo de Aguiar Pantoja é realmente meu bisavô: pesquisando no site de livros do Google, encontrei em um Relatório de 1923 a referência a Albertina Pantoja Pedrosa, como filha de Diogo, o Capitão da Brigada Policial da Capital Federal. Consultei minhas tias para saber se meu avô tinha uma irmã com o nome de Albertina e elas confirmaram a informação.