Jacob deGrom finishes one of the best pitching seasons in history by earning 10th win