BBC Verify: Can Donald Trump really rename the Gulf of Mexico?

This post was originally published on BBC News

The new US President wants to rename the Gulf of Mexico to the Gulf of America. How would that work?