Diogo de Noronha — Portuguese naval officer