naval mine


noun