I want to know the answer to the following question:
What is the formal name of the Interstate Highway System?
All the background I'm provided with is that "The Interstate Highway System is officially known as the 'Dwight D. Eisenhower National System of Interstate and Defense Highways' in his honor.". Is that enough to answer the question?
Answer: yes