I’m surprised Trump hasn’t proposed to rename Mexico "Old Mexico".