Flavio Josefo se refirió al Herodión: