He's been told to retire or be fired.
Being actually fired is not at all good for his CV at that level, hence he is leaving by "retiring", a different process in legal terms.
That said, anybody with any experience with high-level management knows that a manager "retiring" after having made the kind of the decision this one did with the consequences it had, actually means he's been pushed out, just not through the formal process of "firing".