Trading Correa would signal a full rebuild, which I don't think is necessary.
If they trade Correa then they should also trade Jax, Castro, Vazquez, Paddack, Buxton, Stewart and Topa. Trade everyone older than 29 with less than 3 years of team control. They should also seriously consider trading Larnach, Alcala, Jeffers, Lopez, Ober, and Ryan.
That's 14 players in total which suggests this would be a terrible idea.