DPRK fun: Guess how many members of the women’s team are civilians