“But in terms of it turning into a lasting change, I would really doubt it.”

“That sounds nice, no?”

she told reporters at a press conference.

After Trump’s inauguration on Jan. 20,she was still amused.

Google wrote, “When official names vary between countries, Maps users see their official local name.

Everyone in the rest of the world sees both names.

That applies here, too.”

Google didn’t immediately respond to a request for comment on Mexico’s letter.