Heard on Fox snooz that airport's are cutting back4%of flights right now due to air traffic controllers not being paid and/or working… and that number is going to go up to10%

If the shutdown continues, ss this going to be the4, 10, 20Q spoke of?