What we're hearing about the Mets' trade deadline priorities | Player12