Wade Stotts on the Trump admin’s use of humor during shutdown