What happens to government devices during a shutdown? (nextgov)