Should Trump Deport Mamdani Under 1954 Communism Law?