Has Chris Archer thrown his last pitch as a Pirate?