NOTAM glitch: What brought thousands of US flights to a halt