premise: Now a national park, this is the Herodium, a stupendous 91-m (300-ft) mountain with a fortress carved out of it by King Herod; it was once topped with his lavish palace, defensive towers, and battlements.
hypothesis: King Harald had a fortress carved out of this mountain and called it the Herodium.