battle of pierres hole