Severino on deGrom getting traded to Yankees: 'That would be great'DeGrom could be on the move now or in the offseason7/16/2018, 9:58 PM