Question: What NCAA Division is the football team in which Mario Cristobal coaches?
Sentence (from "Mario Cristobal"): Mario Manuel Cristobal (born September 24, 1970) is an American football coach and former player.
Relevant evidence: Yes