Although Josephus states that Herod was buried at Herodium, he does not specify where. Was Herod buried in the mausoleum on the slope or in the fortress at the summit?