New mammal discovered in Indonesia