How long will the government shutdown last? Prediction markets weigh in