Can Trump strip Musk, Mamdani and others of their US citizenship?