Fact check: FAA's furlough of controllers