Which event resulted in President Johnson sending additional troops to Vietnam without a formal declaration of war?.