XX . Raimundo de Portugal, prince héritier, infant de Portugal