Mexican president sues Google for 'Gulf of Mexico' name change