Question: When was a Major League Baseball player nicknamed "Pudge" voted into the Baseball Hall of Fame?
Sentence (from "Iván Rodríguez"): Iván Rodríguez Torres (born November 27, 1971), nicknamed "Pudge" is a former Major League Baseball catcher.
Relevant evidence: Yes