It was probably a force reduction early out with full retirement at the 20 year mark.
That's what my younger brother did in the 1990s.
Good point. I recall those early outs. I hope that’s what it was.