Baseball Hall of Fame 2020: Derek Jeter elected to Cooperstown