Top view of the rock excavations (caves) of the Jewish community of Gharian, Libya, 1947