Is Correa currently the best shortstop to have ever played for the Astros?

I only know Astros history since 2005 when I was a kid and they were good so I’m genuinely curious