The Strait of Tiran, the Gulf of Aqaba, and the 1979 Treaty of Peace between Egypt and Israel