Judge orders US to release names of Gitmo detainees