deployment of American troops to Israel in time of war