They may not have to: there's already a push to "denaturalize citizens," and I'm pretty sure Mamdani is at or near the top of the list for that and subsequent deportation.