The president doesn't declare war; Congress does.