XV . Pierre I de Portugal, roi de Portugal