EVIAN-LES-BAINS, France — The naval mission for the Strait of Hormuz that US allies are proposing as a follow-up to a deal to end the Iran war would aim to reassure crews and shipping insurers that vessels can safely navigate the narrow waterway again, by removing any explosive mines and potentially providing military escorts.