Question: Charlie Williams was traded for someone nicknamed as what?
Sentence (from "Charlie Williams (motorcyclist)"): In 1980, he won the Formula II Class of the Formula TT world championship.
Relevant evidence: No