Circulation of the Red Sea in early summer