Phou Chanh Deng, Thailand (mountain)