Military Retirement: Background and Recent Developments [Updated July 12, 2019]