Trump Weighs Cutting 35,000 US Troops in Germany Over Iran Spat