Well, here you go...
From a recent news report
As part of the operations, Obama approved a Dec. 24 strike against a compound where a U.S. citizen, Anwar al-Aulaqi, was thought to be meeting with other regional Al-Qaida leaders. Although he was not the focus of the strike and was not killed, he has since been added to a short list of U.S. citizens specifically targeted for killing or capture by the JSOC, military officials said.
I guess the "or capture" part makes it OK, but it doesn't sound like their first choice.
I hope that list is more accurately put together than the do-not-fly list.