US unilaterally renames Gulf of Mexico but does it matter