Question: What is the Michigan Stadium called colloquially?
Sentence: Several well-known college sports facilities exist in the city, including Michigan Stadium, the largest American football stadium in the world.
Answer in sentence: no