Justin Verlander has been traded to the #Astros!

— Bob Nightengale (@BNightengale) August 1, 2023