Naval mines may still block Gulf shipping