Os controladores de tráfego aéreo trabalham sem pagamento durante as paralisações do governo: