What should members of Congress do about their pay during the government shutdown?