How many soldiers did Eisenhower ultimately send to Vietnam