20180815 city.mangaluru: Dasara holidays may be cut short in Dakshina Kannada district