Question:  In what international contest did Howard David Jr. defeat the undisputed heavyweight boxing champion of 1978?
Sentence (from "Leon Spinks"): Leon Spinks (born July 11, 1953) is an American former professional boxer who competed from 1977 to 1995.
Relevant evidence: No