What are Israel’s options if Trump decides against US involvement?