20180724 city.goa: Enrolment for govt's health insurance to end on July 31