And welcome to the White House the 2017 World Series Champion, the Houston Astros. And what a team, because I watched our Yankees, and the Yankees were good, and they were tough. They were about as tough as anybody, but you guys were just a little bit tougher. So congratulations.
Maybe it was a good team, but it wasn't doing very well. And what you did this year was incredible, putting it all together. And I just want to thank all of you for not only representing the great state of Texas, but our country so well. Thank you all very much.