verlander is traded to astros

— Jon Heyman (@JonHeyman) September 1, 2017