Infante Enrique of Spain — Spanish infante, I Duke of Seville and officer in the Spanish Navy (1823-1870)