La marine américaine va doubler ses capacités anti-mines dans le golfe Persique