António Galvão — Portuguese administrator and historian