Here Are the Difficult Options Trump Is Weighing to Resolve the War in Iran