John William "Jack" Vessey Jr. (June 29, 1922 – August 18, 2016) was a career officer in the United States Army. He attained the rank of general, and was most notable for his service as the tenth chairman of the Joint Chiefs of Staff. (wikipedia)
You have to set your "shove-it" tolerance someplace. But you also have to recognize that you, too, may be wrong, and that in two weeks' time you'll be "old what's-his-name" and won't be able to influence the situation at all.