Some options for the Mets on Matt Harvey