>>I think either of those won’t work.<<
Probably not — I suggest an alternative: an Interpol arrest warrant and for once the USA defy anyone to say nay.
Of course with this “screw our friends and kowtow to out enemies” administration that ain’t gonna happen.
The heatup in the Korean border is a sign of the disdain the world has for this poseur manchild dilettante the Americans bought off on.
You think he has the stones to take out this obvious spy?
I like your idea. Just issue an arrest warrant and let Interpol handle the rest. When he is entering a airport, he will already be on the list. With the servers, there is not much you can do about that. If you shut one down, it will pop up in another place.