Iran’s arsenal of some 5,000 mines could further complicate efforts to restart shipping in the Persian Gulf.