Cruising Guide to Southeast Asia, Vol. 1: South China Sea, Philippines, Gulf of Thailand to Singapore