US President Donald Trump announces a “double‑sided ceasefire” with Iran.