Rättelse till rådets genomförandeförordning (EU) 2020/730 av den 3 juni 2020 om genomförande av förordning (EU) 2017/1509 om restriktiva åtgärder mot Demokratiska folkrepubliken Korea (Europeiska unionens officiella tidning L 172 I av den 3 juni 2020)