Naming

US President Donald Trump proposed renaming an ocean after himself, adding to a series of recent naming initiatives including the renaming of the Gulf of Mexico.