Distribution-free prediction intervals for order statistics based on record coverage