‘Charismatic’ dugong sea mammal declared functionally extinct in China