Title: The allocation of property rights to unmined minerals on the ocean floor