Claim: Citadelle Laferrière is also called by a shortened version of its name.