Yep, you’re right, I got confused.
That was the “peace dividend” everyone used to speak about in the 90s.
Was nice while it lasted....