20180716 city.goa: All internal roads to be hotmixed