Do you think Miami would trade Whiteside for Deng, 1st round pick, and 2nd round pick?

Would we want to do that?