Separately, the Justice Department petitioned the high court Tuesday to allow the federal government to replace Trump as the defendant in the case.
