Ships stranded in the Persian Gulf scrambled for a fast exit after Tuesday evening’s announcement of a ceasefire in the U.S.-Israeli war with Iran, but traffic through the Strait of…