Well this was 1952/53
Yes, but with the stockpile of WWII guns, it is unlikely that the Army would have purchased the new, more expensive 870 and gotten to the front lines by 1952/53.
The sad truth of the Korean war is that the soldiers were outfitted with mostly WWII equipment and clothing.