શા માટે કિલ્લાના સેન્ટ માઇકલ નામ આપવામાં આવ્યું હતું?