In this rule

Historical Rules · 1 June 2020

Rule 800.4f

Official source text from the 1 June 2020 Rules release

Permalink

If an object requires a player who has left the game to make a choice, the controller of the object chooses another player to make that choice. If the original choice was to be made by an opponent of the controller of the object, that player chooses another opponent if possible.

Find this number in the current Rules