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