Federal judges are not supposed to criticize the president of the United States other than in official opinions, deciding ...