Will it be confirmed that a problem with the FAA's SMART air traffic management system caused the FAA's nationwide ground stop on November 13?