Warm water kept divers alive in Red Sea ordeal