dugong, also called sea cow or manatee