sports-betting U.S. to Renounce Traditional Name for Persian Gulf, Opting Instead for "Arabian Gulf" moniker instead , and Administrator 2025 May 13
