Ferdinand the Holy Prince — infante of the Kingdom of Portugal (1402–1443)