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