Question: Charlie Williams was traded for someone nicknamed as what?
Sentence (from "Charlie Williams (pitcher)"): Charles Prosek Williams (October 11, 1947 – January 27, 2015) was a Major League Baseball pitcher.
Relevant evidence: No