Can Donald Trump really change the name of the Gulf of Mexico?

Following his inauguration, US President Donald Trump has wasted no time in signing a raft of executive orders.

These also include instructions to change the name of the Gulf of Mexico to “Gulf of America”. BBC Verify’s Jake Horton asks, can the President really do this?