With a motion to substitute party pending before U.S. District Judge Lewis Kaplan, the case was briefly captioned “Carroll v. United States of America” before reverting to “Carroll v. Trump.”