Red Sea temperatures to cool in coming decades