XIX . Henrique de Portugal, infant de Portugal