Ho Chi Minh con Giap, Phan Van Dong y otro camarada planea la batalla de Dien Bien Phu