How eager should the Mets be to trade for a starting pitcher?