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 "World Heavyweight Championship (Zero1)"): There have been a total of 14 recognized champions who have had a combined 21 official reigns.
Relevant evidence: No