El juez Ricardo Lewandowski, del Supremo Tribunal Federal (STF), ordenó al gobierno de Brasil que