The Pirates are considering optioning Gerrit Cole to the minors during the All-Star break. It makes sense, as Cole made his final start of the first half on Tuesday and the Pirates won't need a No. 5 starter until July 23. The good news is that Cole, according to MLB.com's Tom Singer and Steven Petrella, "appears to be locked into the Pirates' rotation going forward."