What is another name for the Red Sea?

Indian ocean