The biggest hurdle to trading Carlos Correa is that the Twins do Not have anyone remotely good enough to take his place at shortstop. If he was traded, perhaps the Twins could sign Christian Walker for 4/$100 and thus the bat is partially covered. However, that still leaves a huge hole at shortstop.
Arizona is almost surely not even listening on any conversations regarding their young shortstop prospect, Jordan Lawler, but that is the type of player needed to fill the position. Would the Diamondbacks consider trading Lawler if the Twins offered Duran, Miranda, Castro, and K. Culpepper?
Oh, and Brooks Lee is a third baseman, not a shortstop. There is a difference.