Petraeus Says Israel Might Choose to Attack Iran