What pitcher was the #1 overall pick (by the Pittsburgh Pirates) in Major League Baseball's 2011 amateur draft? He was traded to Houston in January 2018 for a package that included 2011 supplemental draftee Joe Musgrove.
Gerrit Cole