Prince Henry the Navigator of Portugal (d.