Astros right-hander Justin Verlander became the 18th pitcher in major league history to reach the 3,000-strikeout plateau, and he joined teammate Gerrit Cole by reaching 300 strikeouts for the season.