Codifying IHL before Lieber and Dunant: The 1820 treaty for the regularization of war