That decision has already been made though. Like the guys who tried to overthrow Hugo Chavez in Venezuela and put him in jail to stand trial instead of hanging him immediately. Chavez escaped and executed all those guys.
If you shoot at the king, don't miss.
Trump was never serious about it, so he never even fired the shot.