Who is the best Astros or Rangers shortstop of all time?

Poll choices
Posted 3 years.