I want to know the answer to the following question:
How much money was spent on enhancing Notre Dame Stadium under John Jenkins?
All the background I'm provided with is that "During his tenure, Notre Dame has increased its endowment, enlarged its student body, and undergone many construction projects on campus, including Compton Family Ice Arena, a new architecture hall, additional residence halls, and the Campus Crossroads, a $400m enhancement and expansion of Notre Dame Stadium.". Is that enough to answer the question?
Answer: yes