Mets agree to deal with starting pitcher Jose Quintana, are they still in on Kodai Senga?