Mikael 1, konge av Portugal, se Dom Miguel.