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