Gunung Bodjonghalimun, Indonesia (mountain)