Are those seriously the only options? Ignore, kill a US citizen with a drone strike, or have a full-out invasion resulting in hundreds or thousands killed?
Citizenship can be revoked, but I'm pretty sure that matter needs to be decided by a judge, not the President. Am I incorrect?