20190807 city.kochi: 10 crew of ship detained in Indonesia set for release