Thing two: Trump did say he wanted the death penalty for these individuals.
Thing three: DOJ may control which charges are brought, but judges control what charges get tried.
1. have we seen other Republican-appointed judges go against Trump? Yes. All. The. Time.