For the Gulf of Mexico they changed it to "Gulf of Mexico (Gulf of America)" for Canadian traffic, I can't imagine they take the same approach for this.