USAToday.com; Mariano Rivera, Roy Halladay, Edgar Martinez and Mike Mussina elected to the Baseball Hall of Fame; Jesse Yomtov, USA TODAY; January 22, 2019.