Rojo - he absolutely ran 13:13. You believe the results to be wrong? As opposed to the two stories you posted, which btw are mirror images of themselves, that say Kipsang ran 13:19. I believe in the haste of the writer, he left out GKs time and is it seems like he is saying GK ran 13:19 when in fact its just sloppy writing.
13:13 is the time!