The gulf of Tonkin resolution authorized the president to carry out military operations without a formal declaration of war.