Theophilus punishes the murderes of Leo V