They eventually decided — not unanimously by any means — not to include his real name, despite the fact that nearly all media reports did.
Finalmente decidieron, no por unanimidad ni mucho menos, no incluir su nombre real, a pesar de que casi todos los medios de comunicación lo hicieron.