South Korea gains right to explore deep-sea mines in Indian Ocean