during his lifetime he was known by the nickname prince henry the navigator