It would have been nice if the WSJ had given the age and years of service for each of the departed.
Yes, did they retire? Or did they “retire”. A lot of people “retire” just as they are about to get the axe.