As Iran war intensifies, Trump faces a tough choice on deployment of troops