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