Quem era o Rei de Portugal quando este país se lançou as grandes navegações​