40 Years ago today China invaded Vietnam’s north