Should the Mets trade Jacob deGrom?