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