It's not up to me personally. The order to kill was authorized by bush, and then obama, and I'd assume trump would be cool with it if he wasn't dead already. In this situation I'm just a citizen, so I'd call 911 and let the feds deal with it. It's not up to me.
If I were president, which would be awesome btw, I'd order to kill him. If I were a navy seal in that raid, with orders to kill, I'd shoot him in the face. Which is exactly the two decisions both our actual presidents and actual navy seals made. Nothing I'm saying is different from what actually happened.