Srilanka, Feb. 11 -- US President Donald Trump has officially renamed the Gulf of Mexico as the "Gulf of America" and designated February 9 as "Gulf of America Day" through an executive order.

The order, titled "Restoring Names That Honour American Greatness" (Executive Order 14172), instructs the US Secretary of the Interior to formalise the name change within 30 days.

According to a statement from the White House, the executive order defines the newly named Gulf as including the "US Continental Shelf area bounded to the northeast, north, and northwest by Texas, Louisiana, Mississippi, Alabama, and Florida, extending to the maritime boundary with Mexico and Cuba".

Explaining his decision, Trump, in an official proclamation, stated: "I...