MLB notes: Astros acquire Gerrit Cole from Pirates in five-player trade - Los Angeles Times
Astros' qualifying offer to Gerrit Cole used as insurance for team - ABC13 Houston
Gerrit Cole is an Astros Legend for Life Even If (or When) He Leaves in Free Agency — This Run of Pitching Brilliance Will Not be Forgotten
Astros insider: Scenes of heartbreak and Gerrit Cole speaking in past tense
Astros Acquire Gerrit Cole - MLB Trade Rumors
Gerrit Cole Hints at Leaving Astros in Free Agency After World Series
Houston Actually Acquires Gerrit Cole This Time
Houston Astros Acquire Pitcher Gerrit Cole In Trade With Pirates
Astros acquire Gerrit Cole from Pirates