Paleis van Herodes (Jeruzalem): verschil tussen versies