Follow-up question: Does this mean a Democrat in the White House could classify Ted Cruz and Marco Rubio and Barron Trump as "enemies of the U.S." and revoke their citizenship?