20180710 city.kochi: Holiday for schools; colleges today