Should Congress be paid during a government shutdown?