The holy war made by King Shaddai upon Diabolus, to regain the metropolis of the world; or, The losing and taking again of the town of Mansoul