Monumento al Infante don Enrique, Oporto