Observations of the summer Red Sea circulation