How long is the Red Sea from the southern tip of the Sinai Peninsula to the Strait of Mandeb
(Bab el Mandeb)?