Indonesia. Laut Jawa : Indonesia (Tentara Nasional Indonesia, Angkatan Laut, Dinas Hidro-Oseanografi, 2007)