Should the Mets sign Pedro Martinez?