NBC: John F. Kennedy airport Terminal 4 system outage resolved after causing delays