The Alien Terrorist Removal Court was created in 1996, but had never been used before July