First ships pass through the Strait of Hormuz after the US–Iran ceasefire