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