Diamantino Miranda e a 'Operação Pretoriano': «Isto parece-me a ponta do iceberg»