Claim: The Citadelle Laferrière is also called Citadelle Henry Christophe by at least one person.