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