Trump: War with Iran would end "very quickly