The holy war made by King Shaddai upon Diabolus, for the regaining of the metropolis of the world