China let 13 North Koreans defect through its border | Hacker News Reader