Will there be a US government shutdown by October 2?

This market will resolve to "Yes" if is a US government shutdown occurs between Sep 1 and October 2, 2023, 12:00 PM ET. Otherwise, this market will resolve to "No". For this market to resolve to "Yes" it is only necessary a US government shutdown occurs, whether it is a partial shutdown, or a full shutdown. The primary resolution for this source will be official information from the US government, however a consensus of credible reporting may also be used.