US bans North Korean outsourcer and its feisty freelancers