KCI air traffic controllers affected by shutdown