20180723 city.goa: A lot more of Goa's history to make it to textbooks