Diamantino Miranda e a época do Benfica: «Todos viam que não ia correr bem»