petra—an ancient rock-cut city in southern Jordan, famous for its carved stone architecture