Indonesia. Irian Jaya Pantai Barat Daya (Tentara Nasional Indonesia, Angkatan Laut, Dinas Hidro-Oseanografi, 1994)