It's official. They renamed it the Gulf of __________.