Question: The professional boxer James Tillis had a notable win by TKO 7 in 1980 over a boxer that challenged the world heavyweight championship in what year?
Sentence (from "Ron Stander"): He challenged for the world heavyweight championship in 1972, losing to Joe Frazier by fifth round technical knockout.
Relevant evidence: Yes