A public holiday has been announced in Kerala