N. Korea names new army vice marshal: State media