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.