Whereas, on November 1, 2017, the Houston Astros won the 2017 Major League Baseball World Series (referred to in this preamble as the World Series ) with a 5–1 victory over the Los Angeles Dodgers; Whereas the Houston Astros won the World Series in Game 7 at Dodger Stadium in Los Angeles, California; Whereas the Houston Astros overcame the home field advantage of the Los Angeles Dodgers to win the World Series; Whereas all of the following 25 players on the World Series roster of the Houston Astros should be congratulated: Jose Altuve, Carlos Beltran, Alex Bregman, Juan Centeno, Carlos Correa, Chris Devenski, Derek Fisher, Evan Gattis, Ken Giles, Marwin Gonzalez, Luke Gregerson, Yulieski Gurriel, Will Harris, Dallas Keuchel, Francisco Liriano, Cameron Maybin, Brian McCann, Lance McCullers, Jr., Collin McHugh, Charlie Morton, Joe Musgrove, Brad Peacock, Josh Reddick, George Springer, and Justin Verlander; Whereas, in addition to the World Series roster, all of the following Houston Astros players who contributed to the 2017 regular season should be congratulated: Norichika Aoki, Tyler Clippard, J.D. Davis, Dayan Diaz, Michael Feliz, Mike Fiers, Reymin Guduan, Jandel Gustave, Teoscar Hernandez, James Hoyt, Jordan Jankowski, Tony Kemp, Jake Marisnick, Francis Martes, Colin Moran, David Paulino, A.J. Reed, Tony Sipp, Max Stassi, Ashur Tolliver, and Tyler White; Whereas the front office, the clubhouse, and all of the supporting staff and team members of the Houston Astros should be congratulated; Whereas the Houston Astros won an incredible 101 games during the regular season, which earned the team the American League West division championship; Whereas the following 6 Houston Astros players selected to the 2017 Major League Baseball All-Star Game should be congratulated: Jose Altuve, Carlos Correa, Chris Devenski, Dallas Keuchel, Lance McCullers, Jr., and George Springer