Government shutdown: Should Congress still get paid?