Yang Manchun in history