6/24/17: deGrom’s gem leads Mets to victory