Can't forget about Seager as well in the top free agent shortstop targets.
I'd rank the shortstops as:
1. Francisco Lindor - probably best defender of this bunch, question marks with the bat have me pondering switching him with Story, very close 1-2 for me
2. Trevor Story - very well rounded game, speed/power defence all rolled into one
3. Corey Seager - possibly best bat of all of these players, but most likely to have to move off of short stop
4. Carlos Correa - awesome player when he's healthy, great bat and glove, but drops for me since he misses so much time due to injury
5. Javier Baez - super flashy glove, but too many questions with the bat due to high K low BB approach
I have a hard time choosing who will be best bang for buck contract, first 4 players all have perennial 4+ win upside and will get paid accordingly. I suspect Lindor will be worst bang for buck though due to having the most name recognition among this group, he will almost certainly obtain a true superstar contract that he may have a hard time living up to as he ages.