Did the Gulf of Mexico actually get officially renamed to the Gulf of America?

What does everyone think of this?