The Portuguese give a great deal of credit to one man for having promoted sea travel, that man ______ prince Henry the navigator, who lived in the 15th century.