In Ernest Hemingway's A Farewell to Arms, Italian soldiers called "battle police" execute innocent Italian soldiers because they were angry that Italy was retreating and were paranoid of German spies. Did this happen?