Tyson named in Boxing Hall of Fame