Gazetteer to maps of Thailand /
United States.Army Map Service.
United States Board on Geographic Names.
Washington, D.C. : Army Map Service,
1944.