what year did a short course have a time of 7:51.80?
1.0