Question: What University of Oklahoma football coach, whom announced his retirement on June 7, 2017, represented the University of Oklahoma in the 2000 NCAA Division I-A football season?
Sentence (from "2000 Oklahoma Sooners football team"): During this season, they competed in the Big 12 Conference.
Relevant evidence: No