Edwin Diaz makes interesting history during Mets' combined no-hitter