to retire from military service