XX . Berengeria de Portugal, infante de Portugal