The common name for Trichechus senegalensis is West African manatee