Nearly 20,000 controllers and technicians who worked during at least part of the shutdown "without pay and uncertain of when ...