Historical Rules · 1 October 2012
Rule 701.7b
Official source text from the 1 October 2012 Rules release
By default, effects that cause a player to discard a card allow the affected player to choose which card to discard. Some effects, however, require a random discard or allow another player to choose which card is discarded.