Congress, public opinion, and an informal constraint on the commander-in-chief