“Those wars are unjust which are undertaken without provocation. For only a war waged for revenge or defense can be just.”