What professional baseball player was nicknamed after an American Major League Baseball pitcher who was elected to the National Baseball Hall of Fame in 1937?