naval mines were struck.