Tên gọi “Hà Nội – Điện Biên Phủ trên không” ra đời như thế nào?