If the Pirates decide to trade starting pitching for other help in the offseason, who should they trade?