What year did the war during which Pompiliu Ștefu was executed end?