Federal changes have to be made, but other countries and private companies can keep using "Gulf of Mexico." Here's why.