Trump's Persian Gulf options