group of mammals that includes manatees and dugongs