#

How many miles is an official marathon as established in 1921 by the International Amateur Athletic Association?