Why did Denmark, in November 2020, decide to slaughter up to 17 million mink (all of its stock) which were the basis of an almost US$1 billion industry?