Thermohaline Stratification of the Indonesian Seas: Model and Observations*