Are North Koreans really brainwashed by propaganda?