Trump renames Gulf of Mexico to Gulf of America. But is it really that easy?

President Donald Trump is renaming the Gulf of Mexico the Gulf of America. But how will that change go into effect – and will everyone call it that?