'No thanks': Raided South Korean workers leave US despite Trump's offer to let them stay