Trading Correa and selling while in 1st place is just not an option a viable MLB franchise should be thinking about. It would be a giant middle finger to the fans, the clubhouse and any future FA. They can't do it. If they somehow find themselves 5 + games back on 8/2, OK, but I don't even think that's possible at this point.
So the only option is to add pieces that can help now and in 2023 or are reasonable in price and try to win.