I wasn’t sure about this myself, so hat tip to Kenya for this link.

 

Government Shutdown | USA.gov