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