Dom Miguel af Portugal , som engång