The Justice Department’s petition has been shared with lawyers for parties challenging the order, but is not yet docketed at the Supreme Court.

The Justice Department’s petition has been shared with lawyers for parties challenging the order, but is not yet docketed at the Supreme Court.