Breaking down the Astros' possible replacements for Carlos Correa

Jeremy Peña looks like he could be ready to be the team's Opening Day shortstop if Carlos Correa leaves, while Pedro Leon will need a little more time.

source https://www.chron.com/sports/astros/article/Astros-prospects-Correa-Jeremy-Pena-Pedro-Leon-SS-16606366.php