Shell profits double as oil prices rise due to Iran war — Trace