Biblical and Calvinist allegorical substructures in John Bunyan's The holy war