“A recent U.S. government shutdown resulted in air traffic controllers not being paid for a period of six to eight weeks.”