I remember late last year, couple of months ago, US ATC controllers were without pay but forced to work anyways (similar to TSA I suppose, although I don't think they were forced, but volunteered to work without salary), is that still the situation? Couldn't find any updates about that the situation been resolved, nor any updates that it's ongoing, if so though it feels like it'd be related to the amount of available controllers.