https://www.washingtontimes.com/news/2018/dec/26/editorial-the-unnecessary-partial-government-shutd/