A two-time World Series champ traded to Reds