Petra
Boyd’s Bible Dictionary
:
(rock). Edom. Modernly, Arabia Petraea.