20191212 city.mangaluru: Onion prices down but are still quite costly