Yes, it was intended. There's a kind of a truce here where this body of water, while being the "Persian Gulf" in English (and similar in a few other languages) is locally the "Arabian Gulf". We frequently see Iranian nationalists changing it but while it is ok for the English-speaking world to decide that name:en should be "Persian" Gulf, a broader local agreement is required to decide on the basic name tag and it appears that countries preferring "Arabic" over "Persian" are in the majority...