NBC: U.S. sanctions Brazilian judge targeted by Trump over Bolsonaro case