How many infantry divisions did N. Korea have engaged in the war