Khao Chan Ton Deng, Lop Buri (mountain)