Règlement d’exécution (UE) 2020/1524 du 19 octobre 2020 instituant un droit antidumping définitif et portant perception définitive du droit provisoire institué sur les importations de certains papiers thermosensibles lourds originaires de la République de Corée