El juez Juan del Olmo denunció al director de El Mundo, Pedro J.