Lamantin des Antilles (Trichechus manatus manatus) et lamantin de Floride (Trichechus manatus latirostris)