when/how to start a war is solely within the us' discretion