Donald Trump changed the name of the "Gulf of Mexico." Google Maps updated their systems. Mexico's President continues to threaten a lawsuit.