Nearly 13,000 air traffic controllers in the US have been working without pay since October, when the government shutdown ...