How long is a swimming race that covers sixteen lengths of an olympic pool?