Is Prince Henry the navigator his full explorer name?

No, Prince Henry the Navigator is not his full name; he was born Infante Henrique of Portugal. He was a Portuguese prince and a key figure in the early days of the Portuguese Empire, known for his patronage of explorations along the African coast. While he did not personally embark on voyages, his support and funding significantly advanced maritime exploration during the Age of Discovery.