https://svitska.com/arena/2017/10/17/roman-era-theatre-uncovered-in-jerusalems-old-city.html