Question: Forest L. "Bud" Middaugh, is a former American baseball coach, and helped develop several Major League Baseball players at Michigan, including which retired Major League Baseball (MLB) player, and played shortstop for the Cincinnati Reds from 1986 to 2004?
Sentence (from "Barry Larkin"): Larkin was elected to the National Baseball Hall of Fame in January 2012 and was inducted on July 22, 2012.
Relevant evidence: No