As long as he was killed, what does it matter?
You think people should be killed for being a U.S. citizen?