Many here err from ignorance of history, supposing the Herod who mocked our Lord on the day of His passion, and the Herod whose death is here related, were the same. But the Herod who was then made friends with Pilate was son of this Herod and brother to Archelaus; for Archelaus was banished to Lyons in Gaul, and his father Herod made king in his room, as we read in Josephus.
Reproduced in full. Translation: Oxford 1841 (Newman), public domain (Public domain).