I’ve completed the distance 11 times in addition to a 40K, 50K, and a 50 mi. The 40K is technically not a marathon but if you add the warmups I exceeded the 42K (=26.2) threshhold. I also list it because it was perhaps my best racewalk performance in a national competition. My time was 4:03:15.
I am wondering if he did a half marathon.