The just war in Aquinas and Grotius