I have no objections. That’s what it is already called in Arabic.

Fun fact in Turkish it is called Gulf of Basra, after the city in Iraq.

Another fun fact: in the grand scheme of things, Persians and Iranians are relative late comers to the region during the Babylonian Era; and the Gulf already had previous Sumerian, Elamite and Akkadian names. Late is in relation to the history of the region but when compared with the history of other regions 3000 years ago is a long time ago. Turks are even later-comers only 1000 years ago. I say this because they can’t claim that they named it first.

Final fun fact: Persians don’t live on the north coast of the Gulf, not in significant numbers and not historically, only Arabs live on both coasts even on the Iranian side.

PS: I am sympathetic to Iran in their struggle against imperialism and Zionism, and believe they have a right to develop whatever means to defend themselves and deter aggression. This naming dispute though, is something else for me regardless of Trump’s intentions.