COUNCIL IMPLEMENTING REGULATION (EU) 2023/2576 of 13 November 2023 implementing Regulation (EU) 2017/1509 concerning restrictive measures against the Democratic People’s Republic of Korea