Should non-citizens be permanently banned from receiving any US retirement benefits?

Should non-citizens be permanently banned from receiving any US retirement benefits? Yes!
No!