To strike Iran or not to strike? Trump’s options are fraught with risk