No they didn't. No decision to attack what may have consisted of Russian troops would not have made it to the president's desk. You credit Trump with balls he does not have, gumption toward Putin he did not show.