Shaving seconds off a marathon record time