Qual o nome do rei portugues que sucedeu o primeiro rei portugês que queria descobrir o caminho para as Índias?