By my math, the order was filed 11 minutes after the Trump administration's reply brief came in.