What should the Mets do with Bartolo Colon?