Question: Which university in Douglas County, Kansas, had Joseph Girardi as head football coach in the 1970s?
Sentence (from "Baldwin City, Kansas"): As of the 2010 census, the city population was 4,515.
Relevant evidence: No