"Diogo Lopes de Sequeira"@en .