20200805 city.mangaluru: Red alert sounded for Karnataka coast