The Red Sea–Dead Sea Canal: Its Origin and the Challenges it Faces