Question: What was the name of the mascot for Herschel Walker's college football team?
Sentence (from "1890 Michigan Wolverines football team"): George P. Codd, who later served as the Mayor of Detroit and in the United States Congress, was the team's manager.
Relevant evidence: No