Manatees hate sharks.