any of several species of tropical aquatic plant-eating mammals with a broad tails: genus Trichechus [Spanish manatí from Carib manáti]