Jornal Do Brasilia - Air traffic controllers warn of US shutdown strain