well, in my google earth it doesnt show "Arabian gulf" either, but its wat one of my friends said about his google earth, i am waiting for him to send me a screenshot
and about using the term "gulf " , till before revolution of iran, no one dared to use even the term "Gulf " instead of "Persian Gulf " , so even using Gulf instead Persian Gulf is ridiculous