A Michigan federal judge said he wouldn’t order the government to restore four international students’ Student and Exchange Visitor Information System records, finding the students couldn’t prove the record termination automatically revoked their F-1 status and that they were at risk of imminently being removed from the country.