que son las navajas de mar