Curious about where a book came from

A about a decade ago I was checking out a university library and came across a book that appeared to come from North Korea. I can't remember the exact title but it was a Juche ideology propaganda book in English and it said it had been gifted to the university by the DPRK government. If I remember correctly it was a think paperback with a blue cover. The University was in the UK and as far as I know they had no relationship with North Korea. I'm curious how it got there? Does the NK government just send out random booklets?