Historical Rules · 3 May 2019
Rule 717.4
Official source text from the 3 May 2019 Rules release
If the monarch leaves the game, the active player becomes the monarch at the same time as that player leaves the game. If the active player is leaving the game or if there is no active player, the next player in turn order becomes the monarch.