Who gets paid in a government shutdown?