Tras ello, don Carlos marchó a Portugal.