Conditional on the U.S. defaulting on its debt in 2023, will the S&P 500 drop at least 20% from its 2023 highs?