Shell profits double to record $40 billion | CNN Business