William Gardner, 23, of Edinburgh, Scotland, crosses the finish line in 0:34:08 to win the men’s division of the Marine Corps Marathon 10K Oct. 27 in Arlington.