A new discovery of stegodon in Early Pleistocene sediments from the Sumedang area (West Jawa, Indonesia) [journal article by Yahdi Zaim]