20191002 city.ahmedabad: Deep-sea diver discovers coral