Men vs. women world marathon records’ pacing strategies from 1998 to 2018