I was in the Korean War. It ended in 1953 and I returned and discharged from active duty along with thousands of others. I stayed on in the Reserves until 1960 and resigned because of job requirements. I received a second discharge at time of discharge.
Both of the forms say “Regular Army”