Question: Charlie Williams was traded for someone nicknamed as what?
Sentence (from "Charlie Williams (pitcher)"): He is best known for being the player the New York Mets traded to the San Francisco Giants for Willie Mays.
Relevant evidence: Yes