மஞ்சோங் மாவட்டத்திற்கு முன்பு டிண்டிங்ஸ் எனும் அதிகார பூர்வமான பெயர் இருந்தது