How Big Is Israel's Army