Football: Coach of North Korea condemned to hard labor