Pedro de Portugal, el