The posterior predictive distribution over the future records for the Marathon event, using a Gaussian attempt distribution.