I must say, I don't think a political campaign is the occasion to declare exactly what we would do in that case. I think that's a matter of such critical national security importance that it ought to be left to those -- the commander in chief, the leaders of the military, the secretary of state -- to make that kind of decision without the heat of a political campaign.