“President Trump has additional military options against Iran, including potentially seizing or destroying Kharg Island.”