Dom IX, Portugal