XII . Alphonse III de Portugal, roi de Portugal