The Yang Dezhi “Red Army” elementary school in Wenshui