Al Infante don Enrique (1394-1460), Oporto