mật danh chiến dịch điện biên phủ là gì?

mật danh chiến dịch điện biên phủ là Trần Đình.