20210605 city.goa: Floating jetties are for locals; not casinos