20150507 india: China proposes joint mining of Indian Ocean with India