It used to be a Khmer port city called Prey Nokor , or â Jungle Cityâ .
It was once known as Prey Nokor , an important Khmer sea port prior to annexation by the Vietnamese in the 17th century .