Both distributions are approximately normal. Suppose we choose a random 400 meter race and calculate the difference between their times. It's reasonable to assume that their times are independent.