The Pirates have traded their top starting pitcher, Gerrit Cole, to the Astros in exchange for pitcher Joe Musgrove, third baseman Colin Moran, reliever Michael Feliz and outfielder Jason Martin.