I would imagine the Koreans used the Deawoo.
I've had a Deawoo K2 and AR 15 for many years.
IMO the Deawoo is a far better rifle, all around.
In the late 60's I saw a short TV segment on the Koreans.
An American reporter was with them, filming them.
They had captured a VC who wouldn't tell them anything.
The Commanding Officer came up and gave the VC a cigarette then asked him a question.
The VC said he wouldn't tell them.
The Commander turned to the soldier beside him and said, Kill him.
The VC couldn't talk fast enough.
He knew, American reporter or not, those Koreans would shoot him in a second.
Another Korean story.
In the 60's I was a flight instructor at the Army helicopter flight school.
Another instructor had been flying H-21's in Korea for several years.
He said, he happened to see a Korean Beaver land (I don't remember which airfield).
He said the Beaver was all over the runway, almost ground looping.
The airplane came to a stop in the middle of the runway.
A very unhappy Korean General got out of the back and the pilot got out and snapped to attention.
The General started yelling at the pilot and smacking the hell out of him.
Mack, my friend, said the General was so mad he pulled his pistol out and shot the pilot dead.
Mack said that shocked the heck out of the Americans watching.
I asked Mack if he knew what happened to the Korean General.
He said, they gave him a better pilot.