Which type of lubricant is most appropriate for a high-speed ball bearing operating at elevated temperatures?