The situation is New York v. Trump, No. 71543- 23, in the New York Supreme Court for New York County.