XVII . Edouard I de Portugal, roi de Portugal