Question: David D. Cole's honorary Professor title was named after the Senate Majority Leader during what years?
Sentence (from "George J. Mitchell"): George John Mitchell Jr. (born August 20, 1933) is an American lawyer, businessman, and politician.
Relevant evidence: No