How can a joint France-UK mission help restart shipping in the Strait of Hormuz?