Who was providing supplies to the Vietnamese communists fighting against France