Question: What is the middle name of the man who was head coach of the 2012 Florida Gators football team?
Sentence (from "2012 Florida Gators football team"): They finished the season with 11–2 overall, 7–1 SEC, sharing SEC Eastern Division title with Georgia.
Relevant evidence: No