It is interesting you mention the IDF---just how many US active duty officers departed US active duty to serve in the 1968 and 1973 wars?
Especially if they held clearances where one cannot in theory hold two citizenships and or actual citizenship where one cannot owe allegiances to two countries when you take your militay oath.
Bookmarks