In the US, Google Maps currently labels the sea as the “Persian Gulf (Arabian Gulf).” Meanwhile, Apple Maps only calls it the “Persian Gulf.” ...

The Persian Gulf has been widely known by that name since the 16th century, although usage of “Gulf of Arabia” and “Arabian Gulf” is dominant in many countries in the Middle East.