Agreement between the Government of the Republic of Indonesia and the Government of Papua New Guinea concerning Maritime Boundaries between the Republic of Indonesia and Papua New Guinea and cooperation on related matters, 1980 (Dec. 13, 1980)