Just who are these North Korean cheerleaders appearing at the Olympics?

Just who are these North Korean cheerleaders appearing at the Olympics?