I presume they are sinking this in the Gulf of Mexico because the new reef has to be registered as a known hazard to navigation. The people who create maps, real maps used by actual ships, have quietly not bought in to the renaming politics.