માટે આ શહેરનું નામ પડ્યું- ધનુષકોડી.