Trump renames Persian Gulf to "Arabian Gulf" in May?

This market will resolve to "Yes" if Donald Trump publicly announces, that the United States will officially refer to the Persian Gulf as the "Arabian Gulf" or "Gulf of Arabia" by May 31, 2025, 11:59 PM ET. Otherwise, this market will resolve to "No". The primary resolution source for this market will be official information from Donald Trump however, a consensus of credible reporting may also be used.