The "Gulf of America" is now official