a province of Arabia, stretching along the Red Sea and Indian ocean, and forming a part of the country once known by the name of Arabia Felix.