FRENCH WARSHIP DESTROYS MINE IN GULF