Singapore Strait, Singapore--Indonesia, main strait and Phillip Channel (The Agency, 1996)