War in Afghanistan? I seem to miss the formal declaration of war by congress as required by the constitution.