Question: what "eighth wonder of the world location hosted a boxing match between Ali amd Mathis?
Sentence (from "Astrodome"): The NRG Astrodome, also known as the Houston Astrodome or simply The Astrodome, is the world's first multi-purpose, domed sports stadium, located in Houston, Texas.
Relevant evidence: Yes