Astros' Justin Verlander, Gerrit Cole earn All-MLB honors

Six total Astros were honored — the most of any team —  on the inaugural postseason all-star team.

source https://www.chron.com/sports/astros/article/Astros-Justin-Verlander-Gerrit-Cole-earn-14896798.php