The occupation of Havana: War, trade, and slavery in eighteenth-century Cuba