China-Vietnam border sees tourism boom during just-past May Day holiday