En otro duelo, Justin Verlander ponchó a nueve y logró su decimotercer triunfo de la temporada en Grandes Ligas junto a los Astros de Houston.