Malaysia, Singapore, and Brunei. (Geographic Names Division, U.S. Army Topographic Command, 1970)