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