Donald Trump renamed the Gulf of Mexico. Here's what that means legally and politically, according to experts.

Tech giant Google says it will update its popular maps service to reflect any official name changes pushed through by Donald Trump. It's part of an established policy, but it's not always popular.