Is a military retirement plan considered an IRA, a 403b or other type of account? in Retirement tax questions