The Red Sea and adjacent countries at the close of the seventeenth century as described by Joseph Pitts, William Daniel, and Charles Jacques Poncet