20120809 city.goa: Casino ships in Mandovi will not require DGS licence