Your Monday morning dose of New York Mets and MLB news, notes, and links.