Revenue dept launches disaster alert WhatsApp number for pub