On the mean flow in the Tiran Strait in winter