Air traffic controllers just missed their first full paycheck due to the shutdown