Question: Da'Sean Butler was drafted 42nd overall by the Miami Heat in an NBA draft held at what venue?
Sentence (from "1988 NBA Expansion Draft"): The 1988 NBA Expansion Draft was the eighth expansion draft of the National Basketball Association (NBA).
Relevant evidence: No