José Altuve - Wikipedia
Major League Baseball All-Star Game - Wikipedia
MLB playoffs 2017: Bracket, schedule, scores & more from the postseason
5 Astros named to 2017 MLB All-Star Game - The Crawfish Boxes
2023 MLB All-Star Game FAQs
Ryan Zimmerman to start first All-Star Game; five Nationals named to team - The Washington Post
2022 MLB All-Star Game starters
MLB All-Star Game 2023: Projecting 2023 All-Star lineups and reserves, All-Star Game info
MLB All-Star Game 2023: NL defeats AL, highlights, more