De Araújo, Joao Gomes, Portuguese official