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 "Commemorative signs reading "Eisenhower Interstate System" and bearing Eisenhower's permanent 5-star rank insignia were introduced in 1993 and are currently displayed throughout the Interstate System.". Is that enough to answer the question?