"Gulf of Mexico" has worked fine as a name for hundreds of years, but Trump insists it needs a new one.
Fine — let's go with "Gulf of Epstein Files." Then let's "release" the name to be used on maps, google, etc., for everyone to see over and over again.
Add your name, spread the word, and make it happen: "Rename it the Gulf of Epstein Files."
(and yes, we can change it back once Trump releases the actual files)