Estimated distribution of Trichechus manatus in Florida. 



