Galvis looks to be a logical option, Profar does, too. But Profar made 5.7 million last year, I am not sure if he can get that this year but we know thi team doesn't come close to that.
I personally think (I'm not hoping for this) that Richie Martin now has a strong case to make the team as the OD SS. That wouldn't be good.
I highly doubt that Elias is looking ahead to the FA SS class of '21-22 next winter: https://www.mlbtraderumors.com/2020/04/mlb-free-agent-shortstops-2021-22-lindor-baez-correa-seager-story.html
Lindor, Baez, Correa, Seager, Story. Not a snowball chance in hell that we could get one of them as it stands but one can dream. It's also 12:37 in the morning, I should know better.