I want to know the answer to the following question:
Who was acquired in a trade with Florida for Hee-seop Choi?
All the background I'm provided with is that "The offseason acquisition of Derek Lee (who was acquired in a trade with Florida for Hee-seop Choi) and the return of Greg Maddux only bolstered these expectation.". Is that enough to answer the question?
Answer: yes