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