Question: What was the nickname of the man who coached the Texas Western Miners?
Sentence (from "1957 Sun Bowl"): The 1957 Sun Bowl was a college football postseason bowl game between the George Washington Colonials and the Texas Western Miners.
Relevant evidence: No