What are Trump’s options on Iran?