IDF troops in Afghanistan? What a US-Israel mutual defense treaty could mean