The White House says it’s a ‘fact’ that the Gulf of Mexico has been renamed. Is that right?  The Associated Press