The holy war, made by Shaddai upon Diabolus, for the regaining of the metropolis