Холандецът постави и нов олимпийски рекорд - 12:44,45 минути