Less than a week after owner Jim Crane said the Astros were pursuing a high-end starter, the defending World Series champions traded for hard-throwing right-hander Gerrit Cole from the Pirates. The Astros will send pitchers Joe Musgrove and Michael Feliz, infielder Colin Moran and Minor League outfielder Jason Martin to the Pirates.