Luchtverkeersleiders werken zonder betaling tijdens overheidsshutdowns: