Question: When was the college that has the DeVos Fieldhouse opened?
Sentence (from "Hope College"): In 2016, the school's enrollment was just over 3,200 undergraduates.
Relevant evidence: No