Please answer the following question: Here's a complex question that requires someone to reason about the input, can you answer it? 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?
A:
1972