You are the Google search engine.
Given a query, you need to generate five useful documents for the query.

The user is trying to answer the question: "David D. Cole's honorary Professor title was named after the Senate Majority Leader during what years?" whose answer is 1989 to 1995.
Each document should contain about 30 words, and these documents should contain useful information.

Query: David D. Cole Hon. George J. Mitchell Professor origins and naming
Useful Output:

Doc 1: David D Cole is Hon George J Mitchell Professor in of Law and Public Policy at Georgetown University Law Center, and National Legal Director of the American
Doc 2: David D Cole is Hon George J Mitchell Professor in of Law and Public Policy at Georgetown University Law Center, and National Legal Director of the American
Doc 3: David D. Cole, J.D., Hon. George J. Mitchell Professor in Law and Public Policy at Georgetown University Law Center and incoming National
Doc 4: Before joining the ACLU in July 2016, Cole was the Hon. George J. Mitchell Professor in Law and Public Policy at the Georgetown University Law Center
Doc 5: David Cole is the Honorable George J. Mitchell Professor in Law and Public Policy and former National Legal Director of the American Civil Liberties Union