baseball trade deadline

Is it time to trade deGrom? The Mets have a big choice to make
News flash: The 2018 Mets are bad. And things might not get better anytime soon. So what should they do with their most valuable asset?