Question: 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?
Sentence (from "Lefty Grove"): After having success in the minor leagues during the early 1920s, Grove became a star in Major League Baseball with the American League's Philadelphia Athletics and Boston Red Sox, winning 300 games in his 17-year MLB career.
Relevant evidence: No