The Olympics gold medalists in the DPRK