The military's survivor benefit plan and divorce