FAA’s main pilot warning system NOTAM faces outage, US flights may face delays