The holy war made by King Shaddai upon Diabolus to regain the metropolis of the world