discovered_regions = {
	indonesia_region
	indochina_region
	tibet_region
	west_china_region
	east_china_region
	mongolia_region
	north_china_region
	south_china_region
	korea_region
	japan_region
	manchuria_region
	bengal_region
	western_india_region
	central_india_region
	deccan_region
	xinjiang_region
	hindustan_region
}

discovered_provinces = {
	#melanesia_region
	#papua_sea_zones_area
	papua_coastal_sea_zones_province
}