Edition.CNN.com; Kenyan Eliud Kipchoge sets new marathon world record in Berlin; Faith Karimi, CNN; September 16, 2018.