Lake Elji and a geological perspective on the evolution of Petra, Jordan