Daftar singkatan organisasi-organasasi kelautan dan hal-hal terkait denagn penekanan untuk Indonesia - Otto S.R. Ongkosongo (LIPI)