Two Consequences of Determinacy Consistent with Choice

We begin with a ground model satisfying ${\text {ZF}} + {\text {AD}} + {\text {A}}{{\text {C}}_{\mathbf {R}}}$, and from it construct a generic extension satisfying ${\text {ZFC}} + {\mathbf {\delta }}_2^1 = {\omega _2} +$ "the nonstationary ideal on ${\omega _1}$ is ${\omega _2}$-saturated".